Medieval Islamic Political Thought. Edinburgh, Edinburgh University Press, 2004.

THE UNIVERSITY of EDINBURGH

The University of Edinburgh and Poland

throughout the ages remained that it was the office of the pulmonary veins to bring air to the left heart and take away the smoky products of combustion. Today it is fully justified to point out how far Galen had really advanced and that on the basis of some of his first principles (such as the arterial blood content) he could and should have arrived at a transit of the arterio-venous pulmonary...

University of Edinburgh Division of Informatics

We present the Isabelle/HOL formalisation of some key equa-tional properties of the untyped λ-calculus with one-sorted variable names. Existing machine formalisations of λ-calculus proofs typically rely on alternative representations and/or proof principles to facilitate mechanization and we briefly account for these works. Our own development remains faithful to the standard textbook presentat...

Teaching medical ethics: University of Edinburgh.

The Edinburgh Medical Group Research Project is unique in Britain. Part ofitsfunction is to experiment with teaching medical ethics both inside and outside of the Medical School. The papers whichfollow have been written by two full-time reseach fellows working with the Project and two of the professional advisers, one nursing and one medical. Together they give a picture of the wide scope of ex...

University of Edinburgh Division of Informatics

‘Pigs and people’ is a simulated environment, in which action selection mechanisms can be evaluated and compared. Action selection mechanisms attempt to solve the action selection problem faced by both animals and robots: the problem of selecting which actions to perform in order to achieve heterogeneous and possibly conflicting goals. In this project, two action selection mechanisms are implem...